Calling time on digital clocks

Calling Time on Digital Clocks

I explore two logical possibilities for the discretization of time, termed “instantaneous” and “smeared”. These are found by discretizing a continuous theory, and the resulting structure of configuration space and velocities are described. It is shown that results known in numerical methods for integration of dynamical systems preclude the existence of a system with fixed discrete time step whi...

Naming analog clocks conceptually facilitates naming digital clocks.

This study investigates how speakers of Dutch compute and produce relative time expressions. Naming digital clocks (e.g., 2:45, say "quarter to three") requires conceptual operations on the minute and hour information for the correct relative time expression. The interplay of these conceptual operations was investigated using a repetition priming paradigm. Participants named analog clocks (the ...

Maintaining Digital Clocks In StepAnish

A system of simultaneously triggered clocks is designed to be stabilizing: if the clock values ever diier, the system is guaranteed to converge to a state where all clock values are identical, and are subsequently maintained to be identical. For an N-clock system, the design uses N registers of 2 log N bits each and guarantees convergence to identical values within N 2 \triggers".

Calling time on the 10-minute consultation.

Monitoring and fault-diagnosis with digital clocks

We study the monitoring and fault-diagnosis problems for dense-time real-time systems, where observers (monitors and diagnosers) have access to digital rather than analog clocks. Analog clocks are infinitely-precise, thus, not implementable. We show how, given a specification modeled as a timed automaton and a timed automaton model of the digital clock, a sound and optimal (i.e., as precise as ...